
(check (eq (progn) nil))
